منابع مشابه
Discriminating Lambda-Terms Using Clocked Boehm Trees
As observed by Intrigila [16], there are hardly techniques available in the λ-calculus to prove that two λ-terms are not β-convertible. Techniques employing the usual Böhm Trees are inadequate when we deal with terms having the same Böhm Tree (BT). This is the case in particular for fixed point combinators, as they all have the same BT. Another interesting equation, whose consideration was sugg...
متن کاملRon Laskey
Current Biology 25, R301–R327, April 20, 2015 hosts to the many students and visitors who passed through the lab, and his administrative assistant of many years, Mary Hilda Counselman, personally took care of generations of students as we arrived. In my case, she helped me move out of a hotel in an unsavory section of town to better accommodations and later lent her own furniture to me and my w...
متن کاملRon Vale
What turned you onto science in the first place? I had a wonderful mother (a nonscientist and former actress) who frequently took me to the Natural History Museum and Science and Technology Museum in the Los Angeles area as a young child. I loved these museums and worked at the latter as a high school student; nothing glorious — setting up displays and working cash registers, but I got to hang ...
متن کاملWeak Typed Boehm Theorem on IMLL
In the Böhm theorem workshop on Crete island, Zoran Petric called Statman’s “Typical Ambiguity theorem” typed Böhm theorem. Moreover, he gave a new proof of the theorem based on set-theoretical models of the simply typed lambda calculus. In this paper, we study the linear version of the typed Böhm theorem on a fragment of Intuitionistic Linear Logic. We show that in the multiplicative fragment ...
متن کاملHepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report
BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Against the Grain
سال: 2003
ISSN: 2380-176X
DOI: 10.7771/2380-176x.4485